Batch download the files used on Web pages